(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(declare-fun d () Real)
(assert (> a 103))
(assert (> b 234))
(assert (<= c 184))
(assert (< d 107))
(assert (or (>= a b) (>= b c) (>= c d)))
(assert (< (/ 115 a d) (/ 137 b c)))
(check-sat)
